1. Formal methods and software engineering
Author: Karin Breitman, Ana Cavalcanti (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
I584
2009
